First steps in the verified software grand challengeWOODCOCK, Jim.Computer (Long Beach, CA). 2006, Vol 39, Num 10, pp 57-64, issn 0018-9162, 8 p.Article

Formal methods and software engineering (Singapore, 5-7 November 2003)Jin Song Dong; Woodcock, Jim.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20461-X, XI, 681 p, isbn 3-540-20461-XConference Proceedings

A Tutorial Introduction to CSP in Unifying Theories of ProgrammingCAVALCANTI, Ana; WOODCOCK, Jim.Lecture notes in computer science. 2006, pp 220-268, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 49 p.Conference Paper

Library Block SpecificationsLecture notes in computer science. 2006, pp 375-391, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

Proofs of Lemmas and Theorems in the UTPLecture notes in computer science. 2006, pp 369-374, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 6 p.Conference Paper

Formal development of a distributed logging mechanism supporting disconnected updatesYUECHEN QIAN.Lecture notes in computer science. 2003, pp 338-358, issn 0302-9743, isbn 3-540-20461-X, 21 p.Conference Paper

A calculus for set-based program developmentSTRUTH, Georg.Lecture notes in computer science. 2003, pp 541-559, issn 0302-9743, isbn 3-540-20461-X, 19 p.Conference Paper

Refinement techniques in software engineering (First Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004)Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, X-391 p, isbn 3-540-46253-8Conference Proceedings

Elementary Probability TheoryLecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, p. 368Conference Paper

Using CSPDAVIES, Jim.Lecture notes in computer science. 2006, pp 64-122, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 59 p.Conference Paper

Incremental derivation of abstraction relations for data refinementROBINSON, Neil J.Lecture notes in computer science. 2003, pp 246-265, issn 0302-9743, isbn 3-540-20461-X, 20 p.Conference Paper

FM'99 : formal methods (Toulouse, 20-24 September 1999)Wing, Jeannette W; Woodcock, Jim; Davies, Jim et al.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66587-0, 2Vol, XVIII, 1875 p, isbn 3-540-66587-0Conference Proceedings

Techniques for Temporal Logic Model CheckingDEHARBE, David.Lecture notes in computer science. 2006, pp 315-367, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 53 p.Conference Paper

Refinement : An OverviewCAVALCANTI, Ana; SAMPAIO, Augusto; WOODCOCK, Jim et al.Lecture notes in computer science. 2006, pp 1-17, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

Comparison of data and process refinementREEVES, Steve; STREADER, David.Lecture notes in computer science. 2003, pp 266-285, issn 0302-9743, isbn 3-540-20461-X, 20 p.Conference Paper

Using state diagrams to describe concurrent behaviourDAVIES, Jim; CRICHTON, Charles.Lecture notes in computer science. 2003, pp 105-124, issn 0302-9743, isbn 3-540-20461-X, 20 p.Conference Paper

A termination detection algorithm : Specification and verificationESCHBACH, R.Lecture notes in computer science. 1999, pp 1720-1737, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Modeling System C fixed-point arithmetic in HOLAKBARPOUR, Behzad; TAHAR, Sofiène.Lecture notes in computer science. 2003, pp 206-225, issn 0302-9743, isbn 3-540-20461-X, 20 p.Conference Paper

Efficient path finding with the sweep-line method using external storageKRISTENSEN, Lars Michael; MAILUND, Thomas.Lecture notes in computer science. 2003, pp 319-337, issn 0302-9743, isbn 3-540-20461-X, 19 p.Conference Paper

On clock difference constraints and termination in reachability analysis of timed automataBENGTSSON, Johan; WANG YI.Lecture notes in computer science. 2003, pp 491-503, issn 0302-9743, isbn 3-540-20461-X, 13 p.Conference Paper

New developments in closed-form computation for GSPN aggregationFREIHEIT, Jörn; BILLINGTON, Jonathan.Lecture notes in computer science. 2003, pp 471-490, issn 0302-9743, isbn 3-540-20461-X, 20 p.Conference Paper

Towards a workflow model of real-time cooperative systemsYUYUE DU; CHANGJUN JIANG.Lecture notes in computer science. 2003, pp 452-470, issn 0302-9743, isbn 3-540-20461-X, 19 p.Conference Paper

Verification of Timeliness QoS properties in Multimedia SystemsBORDBAR, Behzad; OKANO, Kozo.Lecture notes in computer science. 2003, pp 523-540, issn 0302-9743, isbn 3-540-20461-X, 18 p.Conference Paper

A more complete TLAMERZ, S.Lecture notes in computer science. 1999, pp 1226-1244, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Integration, the price of success : Extended abstractSIFAKIS, J.Lecture notes in computer science. 1999, pp 52-55, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper